automated logic Summary